(uML) An interpreter for a subset of SML. Runs on MS-DOS. Written at the University of Umea, Sweden. ftp://ftp.cs.umu.se/pub/umlexe01.zoo.

Micro Forté Pty Ltd is an Australian electronic entertainment company with development studios in Canberra and Sydney. Founded in 1985 by John De Margheriti at a time when there was little game development presence in Australia, Micro Forté has been closely linked to the growth of the Australian game development industry, with CEO De Margheriti initiating events such as the Australian Game Developers Conference (AGDC) and founding the Academy of Interactive Entertainment (AIE).

The Micro User (titled BBC Micro User in the first three issues) was a British specialist magazine catering to users of the BBC Microcomputer series, Acorn Electron, Acorn Archimedes and, to a limited extent, the Cambridge Z88. It had a comprehensive mix of reviews of games, application software, and the latest Acorn computers; type-in programs (duplicated on a "cover disk" which was available separately), a correspondence page offering help with computer problems, and approachable technical articles on programming and the BBC Micro's internals.

Meta Language

1. <robotics> Manipulator Language. IBM language for handling robots. 2. Meta Language. R. Milner <rm@lfcs.edinburgh.ac.uk> et al, 1973. A strict higher-order functional language. It was the first language to include polymorphic typing which was statically-checked. It also had garbage collection and a formal semantics. It began as the metalanguage for the Edinburgh LCF proof assistant. (LCF="Logic for Computable Functions") People soon noticed that ML could be a useful general programming language and stand-alone versions were implemented. Standard ML (SML) is a descendant of these (and related languages such as Hope). The "metalanguage" aspect has long since disappeared from the language itself (although there are some systems that still use it that way). The historical name is now so inappropriate that asking what ML stands for is like asking what C or Unix stands for. It doesn't stand for anything; it just is. LCF ML was implemented in Stanford LISP. Cardelli (1981) implemented ML in Pascal using the {Functional Abstract Machine} (FAM). It has been significantly redesigned to produce Standard ML and Lazy ML. ["A Metalanguage for Interactive Proof in LCF", M.J.C. Gordon et al, 5th POPL, ACM 1978]. (2006-07-21)

Mail List

<networking> The country code for Mali. (1999-01-27)

Medium Scale Integration